منابع مشابه
Introduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملIntroduction to linear logic
is manuscript is the lecture notes for the course of the same title I gave at the Summer school on linear logic and geometry of interaction that took place in Torino in August 2013. e aim of this course is to give a broad introduction to linear logic, covering enough ground to present many of the ideas and techniques of the field, while staying at a (hopefully) accessible level for beginners....
متن کاملIntroduction to Generalized Linear Modelling
Preliminary statement. When I first wrote my lecture notes for the Part II course, Sarah Shea–Simonds very kindly typed the core notes in TeX, and I added to them bit by bit, again in TeX. However, my style was still rather like a telegram, partly as I was trying to save on paper. Now that I am retired, I have time to retype the notes in LaTeX. I have tried to make the style rather more ‘flowin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematical Modelling
سال: 1985
ISSN: 0307-904X
DOI: 10.1016/0307-904x(85)90013-7